/**
 * 给定13张牌，问可以听多少张
 * 一共只有27张可能的牌，对每张牌挨个做判断即可
 * 对于14张牌是否听牌，首先拿出一对牌，然后再做一个深搜即可
 * 洛谷上也有做DP的，判断可行性
 */
#include <bits/stdc++.h>
using namespace std;

#include <bits/extc++.h>
using namespace __gnu_pbds;

using llt = long long;
using pii = pair<int, int>;
using vi = vector<int>;
using vvi = vector<vi>;
using _t = pair<int, array<int, 3>>;

vector<int> Pai;

bool dfs(vi & pai, int depth){
    if(0 == depth) return true;

    for(int i=11;i<40;++i){
        if(pai[i] >= 3){
            pai[i] -= 3;
            auto flag = dfs(pai, depth - 1);
            pai[i] += 3;
            if(flag) return true;
        }
        if(pai[i] >= 1){
            if(pai[i + 1] >= 1 and pai[i + 2] >= 1){
                pai[i] -= 1, pai[i + 1] -= 1, pai[i + 2] -= 1;
                auto flag = dfs(pai, depth - 1);
                pai[i] += 1, pai[i + 1] += 1, pai[i + 2] += 1;
                if(flag) return true;
            }
        }
    }
    return false;
}

bool isOK(vi & pai){
    for(int i=11;i<40;++i){
        if(pai[i] >= 2){
            pai[i] -= 2;
            auto flag = dfs(pai, 4);
            pai[i] += 2;
            if(flag) return true;
        }
    }
    return false;
}

bool isOK(int p){
    vi cc(40, 0);
    for(auto i : Pai) ++cc[i];
    ++cc[p];
    return isOK(cc);
}

int proc(){
    sort(Pai.begin(), Pai.end());
    int ans = 0;
    for(int i=11;i<=19;++i){
        if(isOK(i)) {
            // cout << i << " ";
            ++ans;
        }
    }
    for(int i=21;i<=29;++i){
        if(isOK(i)) {
            // cout << i << " ";
            ++ans;
        }
    }
    for(int i=31;i<=39;++i){
        if(isOK(i)){
            // cout << i << " ";
            ++ans;
        }
    }
    return ans;
}

int main(){
#ifndef ONLINE_JUDGE
    freopen("z.txt", "r", stdin);
#endif
    ios::sync_with_stdio(false);cin.tie(nullptr);cout.tie(0);
    int nofkase = 1;
    // cin >> nofkase;
    while(nofkase--){
        Pai.assign(13, 0);
        for(auto & i : Pai) cin >> i;
        cout << proc() << endl;
    }
    return 0;
}